Towards an effective version of Mazur conjectureTEMPLIER, Nicolas.Comptes rendus. Mathématique. 2010, Vol 348, Num 23-24, pp 1245-1247, issn 1631-073X, 3 p.Article

Sur le vague en mathématiquesGRANGER, G. G.Dialectica (Bienne). 1990, Vol 44, Num 1-2, pp 9-22, issn 0012-2017Article

Upward directedness of the Rudin-Keisler ordering of p-pointsLAFLAMME, C.The Journal of symbolic logic. 1990, Vol 55, Num 2, pp 449-456, issn 0022-4812, 8 p.Article

LES BASES AXIOMATIQUES DE LA THERMODYNAMIQUE. = THE AXIOMATIC BASES OF THERMODYNAMICSTRUESDELL C.1975; ENTROPIE; FR.; DA. 1975; VOL. 11; NO 64; PP. 4-10; ABS. ANGL. ALLEM. ESPArticle

Louis Rougier, philosophe de l'axiomatiquePONT, Jean-Claude.Philosophia scientiae. 2006, Vol 10, Num 2, pp 309-319, issn 1281-2463, 11 p.Conference Paper

On very trueHAJEK, Petr.Fuzzy sets and systems. 2001, Vol 124, Num 3, pp 329-333, issn 0165-0114Article

Axiomatic computational modelMUELLER, Conrad.ACM SIGPLAN notices. 2005, Vol 40, Num 3, pp 29-39, issn 1523-2867, 11 p.Article

INTUICIÓN Y MÉTODO AXIOMÁTICO EN LA CONCEPCIÓN TEMPRANA DE LA GEOMETRÍA DE DAVID HILBERT = Intuition and Axiomatic Method in David Hilbert's Early Approach to GeometryGIOVANNINI, Eduardo N.Revista latinoamericana de filosofía. 2011, Vol 37, Num 1, pp 35-65, issn 0325-0725, 31 p.Article

Axiomatization of genetics. I: Biological meaningRIZZOTTI, M; ZANARDO, A.Journal of theoretical biology. 1986, Vol 118, Num 1, pp 61-71, issn 0022-5193Article

Inner model operators and the continuum hypothesisBECKER, H.Proceedings of the American Mathematical Society. 1986, Vol 96, Num 1, pp 126-129, issn 0002-9939Article

Some results concerning strongly compact cardinalsABE, Y.The Journal of symbolic logic. 1985, Vol 50, Num 4, pp 874-880, issn 0022-4812Article

Etude mathématique d'opérations utilisées en linguistique: contribution à la construction d'une famille de langages quasi-naturels = Mathematical study of transactions used in linguistic: contribution to the construction of a quasi-natural language familyFROIBEVAUX, Christine.1983, 188 fThesis

An abstract theoretical foundation of the geometry of digital spacesHERMAN, Gabor T.Lecture notes in computer science. 2002, pp 279-288, issn 0302-9743, isbn 3-540-43380-5Conference Paper

Anneaux chrysippiens θ-valents = θ-valent chrysippian ringsAYISSI ETEME, F; CHOQUET, G.Comptes rendus des séances de l'Académie des sciences. Série 1, Mathématique. 1984, Vol 299, Num 1, pp 1-4, issn 0249-6291Article

A second paper On the interpolation theorem for the logic of constant domainsLOPEZ-ESCOBAR, E. G. K.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 595-599, issn 0022-4812Article

An axiomatic basis for distributional equality in utilitarianismSCHOCH, D.Erkenntnis. 1994, Vol 40, Num 1, pp 121-132, issn 0165-0106Article

Axiomatization of genetics 2. Formal developmentZANARDO, A; RIZZOTTI, M.Journal of theoretical biology. 1986, Vol 118, Num 2, pp 145-152, issn 0022-5193Article

On the nonaxiomatizability of some logics by finitely many schemasSHELAH, S; STEINHORN, C.Notre Dame journal of formal logic. 1986, Vol 27, Num 1, pp 1-11, issn 0029-4527Article

On axiomatic characterization of information improvement due to N revisionsDIAL, G.Information sciences. 1983, Vol 30, Num 3, pp 171-181, issn 0020-0255Article

Semantics analysis through elementary meanings: Theoretical foundation for generalized thesaurus constructionKOBUCHI, Y; SAITO, T; NUNOME, H et al.Acta informatica. 2000, Vol 37, Num 1, pp 1-19, issn 0001-5903Article

Axiomatizing the subsumption and subword preorders on finite and infinite partial wordsESIK, Zoltan.Theoretical computer science. 2002, Vol 273, Num 1-2, pp 225-248, issn 0304-3975Conference Paper

A partition theorem for [0,1]FRÖMEL, H. J; VOIGT, B.Proceedings of the American Mathematical Society. 1990, Vol 109, Num 1, pp 281-285, issn 0002-9939, 5 p.Article

Negative membershipBLIZARD, W. D.Notre Dame journal of formal logic. 1990, Vol 31, Num 3, pp 346-368, issn 0029-4527, 23 p.Article

A co-inductive approach to real numbersCIAFFAGLIONE, Alberto; DI GIANANTONIO, Pietro.Lecture notes in computer science. 2000, pp 114-130, issn 0302-9743, isbn 3-540-41517-3Conference Paper

FIXED POINT SEMANTICS AND DIJKSTRA'S FUNDAMENTAL INVARIANCE THEOREM. PREPUBLICATION.DE BAKKER JW.1975; STICHTG MATH. CENTRUM, INFORMAT.; NEDERL.; DA. 1975; NO 29; PP. 1-21; BIBL. 1 P. 1/2Article